41. Formal methods for industrial critical systems :
پدیدآورنده : Falk Howar, Jiří Barnat (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer Systems Organization and Communication Networks.,Programming Languages, Compilers, Interpreters.,Simulation and Modeling.,Software Engineering.,The Computing Profession.,Theory of Computation.,3D graphics & modelling.,Computer networking & communications.,Computer programs-- Reliability.,Computer programs-- Verification.,Computer science.,Computer software-- Reliability.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.
رده :
QA76
.
9
.
F67
I58
2018eb
42. Formal modeling and analysis of timed systems :
پدیدآورنده : David N. Jansen, Pavithra Prabhakar (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,System analysis, Congresses.,Temporal automata, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Simulation and Modeling.,Software Engineering.,3D graphics & modelling.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer simulation.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,System analysis.,Temporal automata.
رده :
QA76
.
9
.
F67
43. Foundations of software science and computation structures :
پدیدآورنده : Christel Baier, Ugo Dal Lago (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software, Congresses.,Software engineering, Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer software.,Computers-- Data Processing.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Discrete mathematics.,Information technology: general issues.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
751
.
F67
2018eb
44. Frontier computing :
پدیدآورنده : Jason C. Hung, Neil Y. Yen, Kuan-Ching Li, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science, Congresses.,Databases, Congresses.,Information technology, Congresses.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Databases.,Information technology.
رده :
QA75
.
5
45. Fundamental approaches to software engineering :
پدیدآورنده : Alessandra Russo, Andy Schürr (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Software engineering, Congresses.,Computer science.,Computers / Software Development & Engineering.,Software engineering.
رده :
QA76
.
758
.
F37
2018eb
46. Informatics in schools :
پدیدآورنده : Sergei N. Pozdniakov, Valentina Dagienė (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer-assisted instruction, Congresses.,Education-- Data processing, Congresses.,Education-- Information technology, Congresses.,Computer Appl. in Social and Behavioral Sciences.,Computers and Education.,Educational Technology.,Software Engineering/Programming and Operating Systems.,Computer-assisted instruction.,Computers-- Data Processing.,Computers-- Software Development & Engineering-- General.,Education-- Computers & Technology.,Education-- Data processing.,Educational equipment & technology, computer-aided learning (Calif.),Society & social sciences.,Software Engineering.
رده :
LB1028
.
43
47. Information Technology -- New Generations :
پدیدآورنده : Shahram Latifi, editor.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science, Congresses.,Electrical engineering.,Information technology, Congresses.,Algorithms & data structures.,Computer science.,Computer security.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Electrical engineering.,Information retrieval.,Information technology.
رده :
QA75
.
5
48. Information and communications security :
پدیدآورنده : David Naccache [and 7 more] (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer security, Congresses.,Telecommunication systems-- Security measures, Congresses.,Algorithms & data structures.,Computer networking & communications.,Computer security.,Computers-- Hardware-- General.,Computers-- Information Theory.,Computers-- Online Services-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Software Engineering.,Telecommunication systems-- Security measures.
رده :
QA76
.
9
.
A25
49. Job scheduling strategies for parallel processing :
پدیدآورنده : Dalibor Klusáček, Walfredo Cirne, Narayan Desai (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer capacity-- Management, Congresses.,Computer scheduling, Congresses.,Parallel processing (Electronic computers), Congresses.,Computer architecture & logic design.,Computer capacity-- Management.,Computer scheduling.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Logic Design.,Computers-- Software Development & Engineering-- General.,Computers-- Systems Architecture-- General.,Expert systems-- knowledge-based systems.,Parallel processing (Electronic computers),Software Engineering.,Systems analysis & design.
رده :
QA76
.
58
50. Knowledge-based software engineering :
پدیدآورنده : edited by Maria Virvou and Taichi Nakamura.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Expert systems (Computer science), Congresses.,Software engineering, Congresses.,COMPUTERS-- Expert Systems.,Expert systems (Computer science),Software engineering.
رده :
QA76
.
76
.
E95
J65
2008eb
51. Leveraging applications of formal methods, verification and validation :
پدیدآورنده : Tiziana Margaria, Bernhard Steffen (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Machine learning, Congresses.,Robots-- Programming, Congresses.,Computer networking & communications.,Computer science.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Machine learning.,Program concepts-- learning to program.,Programming & scripting languages: general.,Robots-- Programming.,Software Engineering.
رده :
QA76
.
9
.
F67
52. Model and data engineering :
پدیدآورنده : El Hassan Abdelwahed, Ladjel Bellatreche, Mattéo Golfarelli, Dominique Méry, Carlos Ordonez (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer architecture, Congresses.,Database management, Congresses.,Knowledge management, Congresses.,Artificial Intelligence.,Information Systems Applications (incl. Internet).,Mathematical Logic and Formal Languages.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Software Engineering.,Artificial intelligence.,Computer architecture.,Computer programming / software development.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Database management.,Information retrieval.,Knowledge management.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
D3
53. Multi-agent systems and agreement technologies :
پدیدآورنده : Francesco Belardinelli, Estefanía Argente (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Multiagent systems, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer security.,Computers-- Expert Systems.,Computers-- Intelligence (AI) & Semantics.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Expert systems / knowledge-based systems.,Mathematical theory of computation.,Mathematics-- Logic.,Multiagent systems.,Software Engineering.
رده :
QA76
.
76
.
I58
54. Music technology with Swing :
پدیدآورنده : Mitsuko Aramaki, Matthew E.P. Davies, Richard Kronland-Martinet, Sølvi Ystad (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer music, Congresses.,Data mining, Congresses.,Human-computer interaction, Congresses.,Musical analysis-- Data processing, Congresses.,Sounds-- Data processing, Congresses.,Artificial intelligence.,Computer music.,Computer vision.,Computers-- Computer Vision & Pattern Recognition.,Computers-- Intelligence (AI) & Semantics.,Computers-- Software Development & Engineering-- General.,Computers-- User Interfaces.,Data mining.,Human-computer interaction.,Musical analysis-- Data processing.,Software Engineering.,User interface design & usability.
رده :
ML1380
55. NASA formal methods :
پدیدآورنده : Aaron Dutle, César Muñoz, Anthony Narkawicz (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Formal methods (Computer science), Congresses.,Artificial intelligence.,Computer modelling & simulation.,Computer science.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
9
.
F67
56. New trends in information and communications technology applications :
پدیدآورنده : Safaa O. Al-mamory, Jwan K. Alwan, Ali D. Hussein (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses.,Computer networks, Congresses.,Artificial Intelligence.,Computer Systems Organization and Communication Networks.,Data Mining and Knowledge Discovery.,Image Processing and Computer Vision.,Software Engineering/Programming and Operating Systems.,Artificial intelligence.,Artificial intelligence.,Computer networking & communications.,Computer networks.,Computers-- Computer Graphics.,Computers-- Database Management-- Data Mining.,Computers-- Hardware-- General.,Computers-- Intelligence (AI) & Semantics.,Computers-- Software Development & Engineering-- General.,Data mining.,Image processing.,Software Engineering.
رده :
TK5105
.
5
57. New trends in model and data engineering :
پدیدآورنده : El Hassan Abdelwahed, Ladjel Bellatreche, Djamal Benslimane, Matteo Golfarelli, Stéphane Jean, Dominique Mery, Kazumi Nakamatsu, Carlos Ordonez (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer architecture, Congresses.,Database management, Congresses.,Knowledge management, Congresses.,3D graphics & modelling.,Artificial intelligence.,Computer architecture.,Computer networking & communications.,Computer science.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- Hardware-- General.,Computers-- Intelligence (AI) & Semantics.,Computers-- Software Development & Engineering-- General.,Database management.,Knowledge management.,Software Engineering.
رده :
QA76
.
9
.
D3
58. Number-theoretic methods in cryptology :
پدیدآورنده : Jerzy Kaczorowski, Josef Pieprzyk, Jacek Pomykała (Eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Cryptography, Congresses.,Monte Carlo method, Congresses.,Algorithms.,Coding theory & cryptology.,Computer science-- Mathematics.,Computer science.,Computers-- Data Processing.,Computers-- Programming-- Algorithms.,Computers-- Security-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Computers.,Data encryption (Computer science),Discrete mathematics.,Information technology: general issues.,Mathematics-- Number Theory.,Number theory.,Number theory.,Numerical analysis.,Software engineering.,Software Engineering.
رده :
QA76
.
9
.
A25
N88
2017
59. PRIMA 2018 :
پدیدآورنده : Tim Miller, Nir Oren, Yuko Sakurai, Itsuki Noda, Bastin Tony Roy Savarimuthu, Tran Cao Son (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Multiagent systems, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computers-- Expert Systems.,Computers-- Hardware-- Network Hardware.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Multiagent systems.,Network hardware.,Software Engineering.
رده :
QA76
.
76
.
I58
60. Parallel processing and applied mathematics :
پدیدآورنده : Roman Wyrzykowski, Jack Dongarra, Ewa Deelman, Konrad Karczewski (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematics, Congresses.,Parallel processing (Electronic computers), Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer architecture & logic design.,Computer networking & communications.,Computers-- Data Processing.,Computers-- Hardware-- General.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Programming-- Algorithms.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics.,Parallel processing (Electronic computers),Software Engineering.
رده :
QA76
.
58
